inspector: Rename a few pages

"Global" and "Visual" are not very good names for
the content of these pages. Rename them to
"Information and "Settings".

diff --git a/gtk/inspector/window.ui b/gtk/inspector/window.ui
index 8f20480b97e0ad6b0facc5f6dd5b585965f190cd..e3fcaa73f0a5f66b031d5ffcc01cbd49d6c0e59c 100644 (file)
--- a/gtk/inspector/window.ui
+++ b/gtk/inspector/window.ui
@@ -422,7 +422,7 @@
                     <child>
                       <object class="GtkStackPage">
                         <property name="name">general</property>
-                        <property name="title" translatable="yes">General</property>
+                        <property name="title" translatable="yes">Information</property>
                         <property name="child">
                           <object class="GtkInspectorGeneral"/>
                         </property>
@@ -431,7 +431,7 @@
                     <child>
                       <object class="GtkStackPage">
                         <property name="name">visual</property>
-                        <property name="title" translatable="yes">Visual</property>
+                        <property name="title" translatable="yes">Settings</property>
                         <property name="child">
                           <object class="GtkInspectorVisual"/>
                         </property>